# @LICENSE(NICTA_CORE) 

# Targets
TARGETS := libixp_osal.a

# Source files required to build the target
CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/os/sel4aos/src/*.c)) \
	$(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/os/sel4aos/src/ixp400/IxOsalOsIxp400.c)) \
	$(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/core/IxOsalTime.c)) \
	$(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/modules/bufferMgt/IxOsalBufferMgt.c)) \
	$(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/modules/ioMem/IxOsalIoMem.c)) \
	$(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/platforms/ixp400/IxOsalIxp400.c))


# Header files/directories this library provides
# We also need to include the lwip headers as we have
# Circular dependency with the includes
#HDRFILES := $(wildcard $(SOURCE_DIR)/include/*)
RHDRFILES := '$(wildcard $(SOURCE_DIR)/include/*) ixp_osal' \
	'$(wildcard $(SOURCE_DIR)/include/modules/bufferMgt/*) ixp_osal/bufferMgt' \
	'$(wildcard $(SOURCE_DIR)/include/modules/ioMem/*) ixp_osal/ioMem' \
	'$(wildcard $(SOURCE_DIR)/include/platforms/ixp400/*) ixp_osal/ixp400' \
	'$(wildcard $(SOURCE_DIR)/os/sel4aos/include/*) ixp_osal/os' \
	'$(wildcard $(SOURCE_DIR)/../liblwip/include/lwip/*) lwip' \
	'$(wildcard $(SOURCE_DIR)/../liblwip/include/arch/*) arch'

CFLAGS := -g -O0 
include $(SEL4_COMMON)/common.mk

